1. Diagonalization and self-reference
پدیدآورنده : Smullyan, Raymond Merrill, 9191-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Recursion theory,، Fixed point theory
رده :
QA
9
.
6
.
S67
2. First-order logic
پدیدآورنده : Smullyan, Raymond Merrill, 9191-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، First-order logic
رده :
QA
9
.
S574
3. Godel's incompleteness theorems
پدیدآورنده : Smullyan, Raymond Merrill, 9191-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Godel's theorem
رده :
QA
9
.
65
.
S68G6
4. Les theoremes d'incompletude de Godel
پدیدآورنده : Smullyan, Raymond Merrill, 9191-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Godel's theorem
رده :
QA
9
.
65
.
S68G613
5. Set theory and the continuum problem
پدیدآورنده : Smullyan, Raymond Merrill, 9191-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Set theory,، Continuum hypothesis
رده :
QA
248
.
S6
6. To mock a mockingbird : and other logic puzzles including an amazing adventure in combinatory logic
پدیدآورنده : Smullyan, Raymond Merrill, 9191-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Philosophical recreations,، Puzzles,، Logic
رده :
GV
1507
.
P43S68
1985
7. What is the name of this book? : the riddle of Dracula and other logical puzzles
پدیدآورنده : Smullyan, Raymond Merrill, 9191-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic puzzles
رده :
GV
1493
.
S68W45
